homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
Background
Basic concepts
equivalences in/of -categories
Universal constructions
Local presentation
Theorems
Extra stuff, structure, properties
Models
We give two constructions of the simplicial localization of a homotopical category.
We first need the following preparations:
Let be the zigzag category. We define the categorical realization of a zigzag to be the category generated freely by the following quiver data:
Let be a homotopical category with class of weak equivalences . Consider the functor category . We define the category of restricted -zigzags to be the subcategory whose objects are zigzags such that all maps , and where morphisms are given by object-wise weak equivalences (natural weak equivalences) such that the maps on the initial and terminal vertices are identities. Finally, we define to be the full subcategory of spanned by those objects such that and .
Let be a morphism of . Then we define the functor to be the functor sending a zigzag with connecting maps lying between and (not necessarily ) to the zigzag with connecting maps defined to be the ordered composite of the maps such that (Note: There should be a better combinatorial way to precisely specify this, but I’m having trouble doing so). Notice that if is empty, this procedure yields the identity map. On morphisms, everything remains well-defined by the naturality condition (implying that the diagrams do in fact commute). This proves that the assignment is functorial in .
Notice that this is not actually functorial in and , but for a map , we can give a functor . Similarly, for a map , we can give a map . This is a special case of concatenation, which we will describe as follows:
We may concatenate two combinatorial zigzags and in the obvious way by taking to be the combinatorial zigzag where is the map adding to each index. This is clearly functorial in both coordinates and defines a monoidal product .
We will lift this to a functor . We send a pair of zigzags to their concatenation in the obvious way. On morphisms, we concatenate natural transformation diagrams, the result of which remains natural by the hammock-shape of our natural transformation diagrams (see below), so is a functor in both coordinates.
(Note that this picture is technically hiding the identity morphisms and . We omit them to show the hammock-shape, as noted below).
We note that we must define everything pointwise for the moment, but it’s reasonable expect all of this data to lift to an actual composition functor in the colimit over , perhaps after some effort.
With this data in hand, we may proceed to actual constructions of the simplicial categories that we want.
Before that, a short note on terminology: Traditionally, only the second construction is called the hammock localization, but this name comes from the shape of a natural transformation between two -zigzags with the same initial and terminal vertices (notice how much the figure above looks like a hammock!), but as we will see, this features in both constructions. We could say that both constructions are “hammock localizations”, and indeed, they produce weakly equivalent results.
By the Grothendieck construction, we may present the functor as a fibered category over .
We describe the resulting category explicitly as follows:
In the sequel, we will construct the strict 2-category , called the Grothendieck enrichment with the same objects as and with morphism categories .
The first order of business is to show that the assemble first to a functor . After that, we must show that all assemble to an actual law of composition.
We define the functor as follows: On objects (suppressing subscripts), we have . This is clearly functorial by way of the results from our earlier preparations.
We now define the strict -category GrC by specifying the following data:
It’s clear from the definitions that is associative and that whenever the composition makes sense. Then is a -category.
We define the categorical nerve: to be the canonical functor arising from the ordinary nerve. That is, is the identity on objects, and sends where denotes the ordinary nerve. This is well defined since is a right adjoint and therefore commutes with products.
We call the simplicial category the simplicial localization of .
Theorem: The categorical nerve sending objects to objects and hom-categories to simplicial sets equips with the structure of a simplicial category. Further, the morphisms of the homotopy category of this simplicial category coincide with those of the homotopy category arising from the ordinary construction using equivalence relations. That is, naturally in and , where .
We define to be . We define the Hammock Localization of to be the simplicial category defined by the following data:
It remains to show that the assemble to a morphism of simplicial sets “in the limit”, as it were. By the universality of colimits in and the fact that is a right adjoint, we have that .
Then to prove that everything assembles correctly, we may need to use some sort of coend, but I’m not too sure.
(…)
Last revised on March 30, 2017 at 20:44:09. See the history of this page for a list of all contributions to it.